41. Formal systems specification : the RPC-memory specification case study
پدیدآورنده: Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
42. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
43. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده: Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
44. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده: Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
45. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده: Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
46. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
پدیدآورنده: edited by AACTE Committee on Innovation and Technology.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
47. JZ6045,<The> hidden face of Eve :
پدیدآورنده: by Lars Kirchhoff. ,William E. Landis, Robin L. Chandler, editors.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
48. Large Scale Network-Centric Distributed Systems /
پدیدآورنده: edited by Hamid Sarbazi-Azad, Albert Y. Zomaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
D5
.
L373
2013
49. Network and parallel computing :
پدیدآورنده: Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013
50. Network and parallel computing :
پدیدآورنده: Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
رده :
QA76
.
58
51. Network-based parallel computing
پدیدآورنده: Dhabaleswar K. Panda, Craig B. Stunkel, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.
54. 0203931254 (ebook)
پدیدآورنده: edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
56. xiv, 237 p. :
پدیدآورنده: Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
57. xviii, 5,Intern
پدیدآورنده: Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
